Detailed conclusion table per each integral for all CAS systems

[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is deﬁned as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table ﬁt, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.


Problem 1	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	33	33	33	28	27	29	29	29	28	0
N.S.	1	1.00	1.00	0.85	0.82	0.88	0.88	0.88	0.85	0.00
time (sec)	N/A	0.027	0.007	0.043	1.403	0.356	0.074	0.150	0.179	0.000


Problem 2	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	33	33	33	28	27	29	29	29	28	0
N.S.	1	1.00	1.00	0.85	0.82	0.88	0.88	0.88	0.85	0.00
time (sec)	N/A	0.041	0.010	0.044	1.259	0.349	0.066	0.149	0.059	0.000


Problem 3	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	33	33	33	28	27	29	29	29	28	0
N.S.	1	1.00	1.00	0.85	0.82	0.88	0.88	0.88	0.85	0.00
time (sec)	N/A	0.024	0.006	0.049	1.348	0.336	0.066	0.193	0.040	0.000


Problem 4	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	33	33	33	28	27	27	29	29	28	33
N.S.	1	1.00	1.00	0.85	0.82	0.82	0.88	0.88	0.85	1.00
time (sec)	N/A	0.038	0.008	0.043	1.307	0.374	0.067	0.148	0.059	0.019


Problem 5	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	28	28	28	25	24	24	26	26	25	32
N.S.	1	1.00	1.00	0.89	0.86	0.86	0.93	0.93	0.89	1.14
time (sec)	N/A	0.019	0.019	0.041	1.406	0.383	0.066	0.146	0.060	0.029


Problem 6	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	29	29	29	28	28	25	27	30	26	0
N.S.	1	1.00	1.00	0.97	0.97	0.86	0.93	1.03	0.90	0.00
time (sec)	N/A	0.027	0.009	0.041	1.334	0.398	0.117	0.147	0.061	0.001


Problem 7	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	26	26	26	24	24	28	20	23	24	0
N.S.	1	1.00	1.00	0.92	0.92	1.08	0.77	0.88	0.92	0.00
time (sec)	N/A	0.023	0.009	0.059	1.325	0.361	0.115	0.158	0.073	0.001


Problem 8	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	29	29	29	26	28	30	26	42	25	0
N.S.	1	1.00	1.00	0.90	0.97	1.03	0.90	1.45	0.86	0.00
time (sec)	N/A	0.028	0.015	0.049	1.316	0.376	0.193	0.162	0.042	0.001


Problem 9	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	26	26	27	25	26	29	27	28	26	0
N.S.	1	1.00	1.04	0.96	1.00	1.12	1.04	1.08	1.00	0.00
time (sec)	N/A	0.022	0.034	0.049	1.345	0.365	0.219	0.169	0.057	0.001


Problem 10	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	29	29	31	28	30	31	29	39	29	0
N.S.	1	1.00	1.07	0.97	1.03	1.07	1.00	1.34	1.00	0.00
time (sec)	N/A	0.027	0.027	0.049	1.396	0.389	0.374	0.153	0.074	0.001


Problem 11	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	31	31	33	28	29	29	32	31	29	0
N.S.	1	1.00	1.06	0.90	0.94	0.94	1.03	1.00	0.94	0.00
time (sec)	N/A	0.022	0.012	0.050	1.347	0.384	0.387	0.148	0.038	0.001


Problem 12	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	55	55	55	52	51	53	56	53	51	0
N.S.	1	1.00	1.00	0.95	0.93	0.96	1.02	0.96	0.93	0.00
time (sec)	N/A	0.048	0.010	0.043	1.333	0.339	0.076	0.145	0.085	0.000


Problem 13	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	55	55	55	52	51	51	53	53	51	57
N.S.	1	1.00	1.00	0.95	0.93	0.93	0.96	0.96	0.93	1.04
time (sec)	N/A	0.068	0.009	0.044	1.374	0.382	0.080	0.150	0.047	0.032


Problem 14	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	55	55	55	52	51	51	56	53	51	65
N.S.	1	1.00	1.00	0.95	0.93	0.93	1.02	0.96	0.93	1.18
time (sec)	N/A	0.039	0.009	0.044	1.322	0.369	0.080	0.167	0.049	0.035


Problem 15	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	42	42	51	52	51	51	53	53	51	57
N.S.	1	1.00	1.21	1.24	1.21	1.21	1.26	1.26	1.21	1.36
time (sec)	N/A	0.070	0.016	0.039	1.363	0.368	0.082	0.162	0.045	0.031


Problem 16	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	50	50	50	49	48	48	53	50	48	60
N.S.	1	1.00	1.00	0.98	0.96	0.96	1.06	1.00	0.96	1.20
time (sec)	N/A	0.032	0.009	0.048	1.244	0.368	0.080	0.174	0.047	0.041


Problem 17	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	43	43	51	51	52	49	49	53	48	0
N.S.	1	1.00	1.19	1.19	1.21	1.14	1.14	1.23	1.12	0.00
time (sec)	N/A	0.040	0.017	0.049	1.337	0.395	0.162	0.146	0.042	0.001


Problem 18	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	48	48	48	49	48	53	48	48	48	0
N.S.	1	1.00	1.00	1.02	1.00	1.10	1.00	1.00	1.00	0.00
time (sec)	N/A	0.037	0.035	0.047	1.294	0.383	0.144	0.149	0.051	0.001


Problem 19	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	49	50	52	54	48	70	48	0
N.S.	1	1.00	0.96	0.98	1.02	1.06	0.94	1.37	0.94	0.00
time (sec)	N/A	0.053	0.030	0.050	1.345	0.393	0.236	0.187	0.047	0.001


Problem 20	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	48	48	50	46	50	52	51	50	50	0
N.S.	1	1.00	1.04	0.96	1.04	1.08	1.06	1.04	1.04	0.00
time (sec)	N/A	0.037	0.021	0.047	1.319	0.379	0.255	0.143	0.049	0.001


Problem 21	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	50	51	54	55	51	72	51	0
N.S.	1	1.00	0.98	1.00	1.06	1.08	1.00	1.41	1.00	0.00
time (sec)	N/A	0.047	0.041	0.056	1.372	0.397	0.551	0.188	0.081	0.001


Problem 22	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	48	48	48	45	51	53	54	53	50	0
N.S.	1	1.00	1.00	0.94	1.06	1.10	1.12	1.10	1.04	0.00
time (sec)	N/A	0.037	0.027	0.055	1.389	0.366	0.609	0.155	0.068	0.001


Problem 23	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	53	52	55	55	56	66	51	0
N.S.	1	1.00	1.04	1.02	1.08	1.08	1.10	1.29	1.00	0.00
time (sec)	N/A	0.045	0.047	0.053	1.273	0.387	0.995	0.191	0.091	0.001


Problem 24	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	53	53	59	48	53	53	58	55	52	0
N.S.	1	1.00	1.11	0.91	1.00	1.00	1.09	1.04	0.98	0.00
time (sec)	N/A	0.036	0.021	0.049	1.370	0.384	1.074	0.150	0.038	0.001


Problem 25	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	75	75	75	76	73	73	80	77	69	93
N.S.	1	1.00	1.00	1.01	0.97	0.97	1.07	1.03	0.92	1.24
time (sec)	N/A	0.064	0.026	0.037	1.344	0.380	0.085	0.188	0.060	0.040


Problem 26	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	68	68	69	76	73	73	82	77	69	81
N.S.	1	1.00	1.01	1.12	1.07	1.07	1.21	1.13	1.01	1.19
time (sec)	N/A	0.134	0.031	0.039	1.317	0.381	0.086	0.212	0.030	0.039


Problem 27	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	75	75	75	76	73	73	82	77	69	93
N.S.	1	1.00	1.00	1.01	0.97	0.97	1.09	1.03	0.92	1.24
time (sec)	N/A	0.055	0.014	0.045	1.367	0.371	0.086	0.153	0.030	0.040


Problem 28	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	42	42	69	76	73	73	80	77	69	81
N.S.	1	1.00	1.64	1.81	1.74	1.74	1.90	1.83	1.64	1.93
time (sec)	N/A	0.071	0.024	0.043	1.445	0.377	0.085	0.153	0.031	0.036


Problem 29	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	70	70	70	73	70	70	76	73	65	85
N.S.	1	1.00	1.00	1.04	1.00	1.00	1.09	1.04	0.93	1.21
time (sec)	N/A	0.042	0.012	0.043	1.281	0.365	0.087	0.166	0.031	0.044


Problem 30	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	60	60	71	76	74	71	80	78	67	0
N.S.	1	1.00	1.18	1.27	1.23	1.18	1.33	1.30	1.12	0.00
time (sec)	N/A	0.053	0.022	0.045	1.315	0.382	0.180	0.152	0.035	0.001


Problem 31	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	65	65	65	71	69	75	68	70	65	0
N.S.	1	1.00	1.00	1.09	1.06	1.15	1.05	1.08	1.00	0.00
time (sec)	N/A	0.045	0.029	0.050	1.337	0.387	0.171	0.156	0.033	0.001


Problem 32	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	71	71	73	75	74	77	78	97	67	0
N.S.	1	1.00	1.03	1.06	1.04	1.08	1.10	1.37	0.94	0.00
time (sec)	N/A	0.079	0.044	0.051	1.301	0.386	0.265	0.173	0.039	0.001


Problem 33	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	69	69	71	70	73	75	75	74	68	0
N.S.	1	1.00	1.03	1.01	1.06	1.09	1.09	1.07	0.99	0.00
time (sec)	N/A	0.050	0.035	0.049	1.331	0.371	0.291	0.151	0.057	0.001


Problem 34	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	72	72	73	76	76	76	75	98	76	0
N.S.	1	1.00	1.01	1.06	1.06	1.06	1.04	1.36	1.06	0.00
time (sec)	N/A	0.072	0.034	0.049	1.284	0.394	0.589	0.153	0.074	0.001


Problem 35	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	68	68	68	64	73	75	78	75	73	0
N.S.	1	1.00	1.00	0.94	1.07	1.10	1.15	1.10	1.07	0.00
time (sec)	N/A	0.050	0.036	0.047	1.326	0.384	0.676	0.164	0.057	0.001


Problem 36	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	71	71	71	75	77	77	78	99	75	0
N.S.	1	1.00	1.00	1.06	1.08	1.08	1.10	1.39	1.06	0.00
time (sec)	N/A	0.064	0.047	0.052	1.442	0.403	1.294	0.152	0.087	0.001


Problem 37	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	66	66	66	63	73	75	80	77	71	0
N.S.	1	1.00	1.00	0.95	1.11	1.14	1.21	1.17	1.08	0.00
time (sec)	N/A	0.050	0.036	0.046	1.301	0.389	1.497	0.210	0.080	0.001


Problem 38	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	77	76	77	77	82	90	75	0
N.S.	1	1.00	1.22	1.21	1.22	1.22	1.30	1.43	1.19	0.00
time (sec)	N/A	0.047	0.059	0.053	1.322	0.399	2.367	0.167	0.103	0.001


Problem 39	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	73	73	73	66	75	75	83	79	74	0
N.S.	1	1.00	1.00	0.90	1.03	1.03	1.14	1.08	1.01	0.00
time (sec)	N/A	0.049	0.039	0.046	1.383	0.393	2.446	0.152	0.070	0.001


Problem 40	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	49	49	78	66	75	75	83	79	76	0
N.S.	1	1.00	1.59	1.35	1.53	1.53	1.69	1.61	1.55	0.00
time (sec)	N/A	0.040	0.021	0.048	1.328	0.382	3.426	0.157	0.071	0.001


Problem 41	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	119	119	119	140	124	274	204	133	144	0
N.S.	1	1.00	1.00	1.18	1.04	2.30	1.71	1.12	1.21	0.00
time (sec)	N/A	0.087	0.085	0.048	3.005	0.408	0.444	0.170	0.171	0.001


Problem 42	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	96	96	92	110	97	98	94	101	100	0
N.S.	1	1.00	0.96	1.15	1.01	1.02	0.98	1.05	1.04	0.00
time (sec)	N/A	0.126	0.041	0.043	1.380	0.388	0.352	0.152	0.058	0.001


Problem 43	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	98	98	98	116	100	228	180	108	118	0
N.S.	1	1.00	1.00	1.18	1.02	2.33	1.84	1.10	1.20	0.00
time (sec)	N/A	0.076	0.068	0.049	2.940	0.405	0.408	0.182	0.043	0.001


Problem 44	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	75	75	71	86	74	75	70	77	76	0
N.S.	1	1.00	0.95	1.15	0.99	1.00	0.93	1.03	1.01	0.00
time (sec)	N/A	0.094	0.032	0.045	1.337	0.393	0.319	0.154	0.087	0.001


Problem 45	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	77	77	77	92	78	178	153	85	96	0
N.S.	1	1.00	1.00	1.19	1.01	2.31	1.99	1.10	1.25	0.00
time (sec)	N/A	0.066	0.057	0.049	2.864	0.412	0.372	0.178	0.066	0.001


Problem 46	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	54	54	47	62	50	51	46	52	52	0
N.S.	1	1.00	0.87	1.15	0.93	0.94	0.85	0.96	0.96	0.00
time (sec)	N/A	0.069	0.021	0.051	1.326	0.391	0.286	0.152	0.074	0.001


Problem 47	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	58	58	57	68	53	129	90	57	70	0
N.S.	1	1.00	0.98	1.17	0.91	2.22	1.55	0.98	1.21	0.00
time (sec)	N/A	0.050	0.043	0.047	2.859	0.398	0.337	0.158	0.107	0.001


Problem 48	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	35	35	31	40	31	30	27	32	31	0
N.S.	1	1.00	0.89	1.14	0.89	0.86	0.77	0.91	0.89	0.00
time (sec)	N/A	0.043	0.013	0.044	1.299	0.386	0.250	0.232	0.056	0.001


Problem 49	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	40	40	40	45	34	99	82	34	31	0
N.S.	1	1.00	1.00	1.12	0.85	2.48	2.05	0.85	0.78	0.00
time (sec)	N/A	0.028	0.025	0.044	2.924	0.408	0.288	0.160	0.054	0.001


Problem 50	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	34	34	34	37	35	32	26	34	32	0
N.S.	1	1.00	1.00	1.09	1.03	0.94	0.76	1.00	0.94	0.00
time (sec)	N/A	0.041	0.013	0.047	1.343	0.392	0.755	0.200	0.085	0.001


Problem 51	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	42	42	42	48	36	105	82	36	35	0
N.S.	1	1.00	1.00	1.14	0.86	2.50	1.95	0.86	0.83	0.00
time (sec)	N/A	0.032	0.049	0.048	2.944	0.397	0.423	0.165	0.092	0.001


Problem 52	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	41	41	41	39	51	103	75	38	33	0
N.S.	1	1.00	1.00	0.95	1.24	2.51	1.83	0.93	0.80	0.00
time (sec)	N/A	0.034	0.026	0.049	3.062	0.419	0.443	0.152	0.145	0.001


Problem 53	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	49	49	49	56	48	47	41	71	46	0
N.S.	1	1.00	1.00	1.14	0.98	0.96	0.84	1.45	0.94	0.00
time (sec)	N/A	0.056	0.023	0.055	1.319	0.401	0.756	0.154	0.137	0.001


Problem 54	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	60	72	56	135	129	57	53	0
N.S.	1	1.00	0.98	1.18	0.92	2.21	2.11	0.93	0.87	0.00
time (sec)	N/A	0.056	0.087	0.057	2.815	0.407	0.437	0.158	0.106	0.001


Problem 55	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	70	70	70	81	70	73	61	100	70	0
N.S.	1	1.00	1.00	1.16	1.00	1.04	0.87	1.43	1.00	0.00
time (sec)	N/A	0.072	0.038	0.054	1.377	0.409	0.918	0.190	0.137	0.001


Problem 56	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	78	78	78	96	79	184	163	81	70	0
N.S.	1	1.00	1.00	1.23	1.01	2.36	2.09	1.04	0.90	0.00
time (sec)	N/A	0.068	0.089	0.048	3.048	0.406	0.583	0.156	0.106	0.001


Problem 57	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	92	92	96	107	96	98	88	126	92	0
N.S.	1	1.00	1.04	1.16	1.04	1.07	0.96	1.37	1.00	0.00
time (sec)	N/A	0.090	0.046	0.046	1.280	0.395	1.412	0.155	0.153	0.001


Problem 58	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	133	133	134	155	136	350	238	139	203	0
N.S.	1	1.00	1.01	1.17	1.02	2.63	1.79	1.05	1.53	0.00
time (sec)	N/A	0.166	0.114	0.053	2.940	0.400	1.012	0.169	0.104	0.001


Problem 59	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	105	105	93	122	107	148	104	135	121	0
N.S.	1	1.00	0.89	1.16	1.02	1.41	0.99	1.29	1.15	0.00
time (sec)	N/A	0.135	0.078	0.054	1.380	0.384	0.930	0.154	0.097	0.001


Problem 60	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	110	110	111	132	112	298	211	115	141	0
N.S.	1	1.00	1.01	1.20	1.02	2.71	1.92	1.05	1.28	0.00
time (sec)	N/A	0.118	0.091	0.053	3.020	0.410	0.761	0.156	0.085	0.001


Problem 61	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	83	83	72	98	82	121	78	106	86	0
N.S.	1	1.00	0.87	1.18	0.99	1.46	0.94	1.28	1.04	0.00
time (sec)	N/A	0.098	0.058	0.054	1.322	0.383	0.703	0.167	0.072	0.001


Problem 62	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	89	89	89	105	85	240	129	88	104	0
N.S.	1	1.00	1.00	1.18	0.96	2.70	1.45	0.99	1.17	0.00
time (sec)	N/A	0.089	0.080	0.064	3.026	0.409	0.689	0.157	0.110	0.001


Problem 63	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	50	74	60	81	56	70	62	0
N.S.	1	1.00	0.82	1.21	0.98	1.33	0.92	1.15	1.02	0.00
time (sec)	N/A	0.070	0.038	0.056	1.310	0.395	0.600	0.156	0.116	0.001


Problem 64	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	68	68	68	82	61	208	114	59	59	0
N.S.	1	1.00	1.00	1.21	0.90	3.06	1.68	0.87	0.87	0.00
time (sec)	N/A	0.061	0.056	0.053	2.999	0.422	0.553	0.191	0.126	0.001


Problem 65	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	41	41	41	47	40	44	36	37	37	0
N.S.	1	1.00	1.00	1.15	0.98	1.07	0.88	0.90	0.90	0.00
time (sec)	N/A	0.047	0.014	0.054	1.311	0.389	0.374	0.187	0.086	0.001


Problem 66	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	63	68	57	182	112	57	51	0
N.S.	1	1.00	1.00	1.08	0.90	2.89	1.78	0.90	0.81	0.00
time (sec)	N/A	0.033	0.051	0.056	2.965	0.395	0.417	0.182	0.120	0.001


Problem 67	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	46	53	51	70	46	52	47	0
N.S.	1	1.00	0.90	1.04	1.00	1.37	0.90	1.02	0.92	0.00
time (sec)	N/A	0.055	0.034	0.055	1.314	0.383	0.441	0.157	0.159	0.001


Problem 68	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	70	70	70	85	63	210	114	62	63	0
N.S.	1	1.00	1.00	1.21	0.90	3.00	1.63	0.89	0.90	0.00
time (sec)	N/A	0.074	0.036	0.056	2.977	0.409	0.506	0.213	0.129	0.001


Problem 69	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	73	73	64	86	76	117	70	80	78	0
N.S.	1	1.00	0.88	1.18	1.04	1.60	0.96	1.10	1.07	0.00
time (sec)	N/A	0.080	0.060	0.070	1.332	0.379	0.880	0.159	0.147	0.001


Problem 70	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	90	90	90	110	93	250	184	85	83	0
N.S.	1	1.00	1.00	1.22	1.03	2.78	2.04	0.94	0.92	0.00
time (sec)	N/A	0.117	0.082	0.074	3.004	0.407	0.603	0.157	0.137	0.001


Problem 71	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	97	97	85	114	106	154	100	150	100	0
N.S.	1	1.00	0.88	1.18	1.09	1.59	1.03	1.55	1.03	0.00
time (sec)	N/A	0.108	0.106	0.056	1.328	0.399	1.040	0.322	0.138	0.001


Problem 72	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	111	111	112	136	119	308	218	112	104	0
N.S.	1	1.00	1.01	1.23	1.07	2.77	1.96	1.01	0.94	0.00
time (sec)	N/A	0.198	0.099	0.056	2.942	0.422	0.699	0.168	0.158	0.001


Problem 73	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	140	140	133	174	147	416	252	138	177	0
N.S.	1	1.00	0.95	1.24	1.05	2.97	1.80	0.99	1.26	0.00
time (sec)	N/A	0.235	0.144	0.059	2.897	0.401	1.399	0.181	0.120	0.001


Problem 74	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	111	111	94	134	116	179	119	132	118	0
N.S.	1	1.00	0.85	1.21	1.05	1.61	1.07	1.19	1.06	0.00
time (sec)	N/A	0.136	0.095	0.060	1.412	0.374	1.519	0.177	0.118	0.001


Problem 75	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	118	118	113	147	120	358	214	111	138	0
N.S.	1	1.00	0.96	1.25	1.02	3.03	1.81	0.94	1.17	0.00
time (sec)	N/A	0.162	0.134	0.055	3.017	0.410	1.297	0.163	0.078	0.001


Problem 76	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	89	89	92	109	94	142	94	93	95	0
N.S.	1	1.00	1.03	1.22	1.06	1.60	1.06	1.04	1.07	0.00
time (sec)	N/A	0.102	0.048	0.055	1.360	0.397	1.294	0.162	0.091	0.001


Problem 77	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	95	95	92	122	94	328	194	80	92	0
N.S.	1	1.00	0.97	1.28	0.99	3.45	2.04	0.84	0.97	0.00
time (sec)	N/A	0.099	0.109	0.052	2.938	0.426	1.110	0.177	0.152	0.001


Problem 78	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	67	67	64	80	72	89	70	55	70	0
N.S.	1	1.00	0.96	1.19	1.07	1.33	1.04	0.82	1.04	0.00
time (sec)	N/A	0.076	0.026	0.054	1.335	0.388	0.932	0.189	0.108	0.001


Problem 79	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	90	90	83	89	92	301	155	78	82	0
N.S.	1	1.00	0.92	0.99	1.02	3.34	1.72	0.87	0.91	0.00
time (sec)	N/A	0.076	0.122	0.058	2.980	0.411	0.762	0.160	0.146	0.001


Problem 80	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	32	32	30	39	42	42	42	28	44	0
N.S.	1	1.00	0.94	1.22	1.31	1.31	1.31	0.88	1.38	0.00
time (sec)	N/A	0.031	0.014	0.053	1.348	0.385	0.545	0.161	0.076	0.001


Problem 81	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	92	92	84	90	92	300	150	78	82	0
N.S.	1	1.00	0.91	0.98	1.00	3.26	1.63	0.85	0.89	0.00
time (sec)	N/A	0.045	0.083	0.056	2.949	0.420	0.605	0.159	0.140	0.001


Problem 82	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	68	68	59	68	77	119	75	76	71	0
N.S.	1	1.00	0.87	1.00	1.13	1.75	1.10	1.12	1.04	0.00
time (sec)	N/A	0.073	0.068	0.060	1.416	0.404	0.594	0.158	0.178	0.001


Problem 83	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	96	96	96	125	96	324	194	82	113	0
N.S.	1	1.00	1.00	1.30	1.00	3.38	2.02	0.85	1.18	0.00
time (sec)	N/A	0.118	0.097	0.056	2.967	0.424	0.727	0.166	0.176	0.001


Problem 84	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	97	97	86	118	109	197	107	105	107	0
N.S.	1	1.00	0.89	1.22	1.12	2.03	1.10	1.08	1.10	0.00
time (sec)	N/A	0.117	0.100	0.063	1.373	0.396	1.113	0.183	0.152	0.001


Problem 85	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	117	117	119	152	128	368	226	108	114	0
N.S.	1	1.00	1.02	1.30	1.09	3.15	1.93	0.92	0.97	0.00
time (sec)	N/A	0.177	0.077	0.062	3.111	0.414	0.828	0.162	0.179	0.001


Problem 86	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	121	121	108	150	137	229	136	132	131	0
N.S.	1	1.00	0.89	1.24	1.13	1.89	1.12	1.09	1.08	0.00
time (sec)	N/A	0.131	0.088	0.065	1.429	0.413	1.251	0.169	0.174	0.001


Problem 87	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	140	140	140	177	154	426	260	135	135	0
N.S.	1	1.00	1.00	1.26	1.10	3.04	1.86	0.96	0.96	0.00
time (sec)	N/A	0.332	0.085	0.072	3.024	0.427	0.920	0.162	0.195	0.001


Problem 88	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	148	148	135	180	170	267	165	201	155	0
N.S.	1	1.00	0.91	1.22	1.15	1.80	1.11	1.36	1.05	0.00
time (sec)	N/A	0.173	0.136	0.060	1.433	0.407	1.334	0.166	0.185	0.001


Problem 89	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	218	218	193	290	321	368	0	245	289	187
N.S.	1	1.00	0.89	1.33	1.47	1.69	0.00	1.12	1.33	0.86
time (sec)	N/A	0.381	0.320	0.078	1.622	0.573	0.000	0.230	1.470	0.740


Problem 90	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	181	181	173	248	273	321	0	211	233	163
N.S.	1	1.00	0.96	1.37	1.51	1.77	0.00	1.17	1.29	0.90
time (sec)	N/A	0.334	0.302	0.061	1.514	0.487	0.000	0.203	0.886	0.651


Problem 91	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	125	125	151	206	225	272	0	177	177	139
N.S.	1	1.00	1.21	1.65	1.80	2.18	0.00	1.42	1.42	1.11
time (sec)	N/A	0.199	0.227	0.053	1.490	0.461	0.000	0.221	0.736	0.522


Problem 92	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	107	107	129	164	177	223	0	140	140	115
N.S.	1	1.00	1.21	1.53	1.65	2.08	0.00	1.31	1.31	1.07
time (sec)	N/A	0.154	0.199	0.053	1.424	0.427	0.000	0.193	0.752	0.587


Problem 93	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	100	100	91	124	128	172	0	103	117	93
N.S.	1	1.00	0.91	1.24	1.28	1.72	0.00	1.03	1.17	0.93
time (sec)	N/A	0.197	0.155	0.054	1.451	0.437	0.000	0.185	0.609	0.497


Problem 94	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	97	97	78	130	105	161	0	92	-1	81
N.S.	1	1.00	0.80	1.34	1.08	1.66	0.00	0.95	-0.01	0.84
time (sec)	N/A	0.213	0.154	0.055	1.479	0.415	0.000	0.274	0.000	0.389


Problem 95	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	80	80	86	109	96	160	0	163	-1	86
N.S.	1	1.00	1.08	1.36	1.20	2.00	0.00	2.04	-0.01	1.08
time (sec)	N/A	0.196	0.130	0.059	1.418	0.442	0.000	0.498	0.000	0.367


Problem 96	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	44	48	111	59	0	250	113	66
N.S.	1	1.00	0.72	0.79	1.82	0.97	0.00	4.10	1.85	1.08
time (sec)	N/A	0.162	0.019	0.047	1.495	0.410	0.000	0.920	0.469	0.342


Problem 97	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	96	96	66	70	161	85	0	310	160	90
N.S.	1	1.00	0.69	0.73	1.68	0.89	0.00	3.23	1.67	0.94
time (sec)	N/A	0.211	0.027	0.044	1.479	0.434	0.000	1.355	0.676	0.376


Problem 98	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	133	133	88	94	209	109	0	370	210	114
N.S.	1	1.00	0.66	0.71	1.57	0.82	0.00	2.78	1.58	0.86
time (sec)	N/A	0.245	0.030	0.053	1.494	0.469	0.000	1.970	1.039	0.404


Problem 99	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	170	170	94	118	257	133	0	430	260	138
N.S.	1	1.00	0.55	0.69	1.51	0.78	0.00	2.53	1.53	0.81
time (sec)	N/A	0.300	0.073	0.049	1.565	0.504	0.000	2.973	1.406	0.446


Problem 100	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	131	131	82	91	106	106	0	140	103	87
N.S.	1	1.00	0.63	0.69	0.81	0.81	0.00	1.07	0.79	0.66
time (sec)	N/A	0.220	0.064	0.048	1.419	0.409	0.000	0.170	0.252	0.105


Problem 101	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	94	94	64	67	83	82	0	105	83	63
N.S.	1	1.00	0.68	0.71	0.88	0.87	0.00	1.12	0.88	0.67
time (sec)	N/A	0.166	0.046	0.051	1.535	0.411	0.000	0.209	0.191	0.088


Problem 102	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	41	45	51	57	0	72	60	41
N.S.	1	1.00	0.67	0.74	0.84	0.93	0.00	1.18	0.98	0.67
time (sec)	N/A	0.019	0.028	0.047	1.460	0.412	0.000	0.160	0.153	0.070


Problem 103	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	78	78	84	85	0	159	0	116	99	71
N.S.	1	1.00	1.08	1.09	0.00	2.04	0.00	1.49	1.27	0.91
time (sec)	N/A	0.146	0.086	0.050	0.000	0.411	0.000	0.196	0.498	0.142


Problem 104	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	100	100	94	135	0	169	0	76	-1	74
N.S.	1	1.00	0.94	1.35	0.00	1.69	0.00	0.76	-0.01	0.74
time (sec)	N/A	0.161	0.049	0.054	0.000	0.431	0.000	0.218	0.000	0.184


Problem 105	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	103	103	95	174	0	198	0	132	-1	88
N.S.	1	1.00	0.92	1.69	0.00	1.92	0.00	1.28	-0.01	0.85
time (sec)	N/A	0.158	0.119	0.058	0.000	0.431	0.000	0.304	0.000	0.210


Problem 106	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	223	223	215	328	363	418	0	280	-1	211
N.S.	1	1.00	0.96	1.47	1.63	1.87	0.00	1.26	-0.00	0.95
time (sec)	N/A	0.404	0.363	0.081	1.581	0.694	0.000	0.337	0.000	0.820


Problem 107	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	167	167	193	286	315	369	0	246	-1	187
N.S.	1	1.00	1.16	1.71	1.89	2.21	0.00	1.47	-0.01	1.12
time (sec)	N/A	0.248	0.319	0.066	1.556	0.557	0.000	0.232	0.000	0.704


Problem 108	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	148	148	171	244	267	316	0	207	236	162
N.S.	1	1.00	1.16	1.65	1.80	2.14	0.00	1.40	1.59	1.09
time (sec)	N/A	0.191	0.267	0.060	1.508	0.485	0.000	0.217	1.011	0.702


Problem 109	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	144	144	151	202	216	275	0	178	-1	139
N.S.	1	1.00	1.05	1.40	1.50	1.91	0.00	1.24	-0.01	0.97
time (sec)	N/A	0.266	0.243	0.057	1.493	0.471	0.000	0.202	0.000	0.711


Problem 110	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	137	137	130	162	168	224	0	142	-1	118
N.S.	1	1.00	0.95	1.18	1.23	1.64	0.00	1.04	-0.01	0.86
time (sec)	N/A	0.296	0.126	0.052	1.429	0.441	0.000	0.207	0.000	0.549


Problem 111	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	128	128	96	174	148	209	0	126	-1	100
N.S.	1	1.00	0.75	1.36	1.16	1.63	0.00	0.98	-0.01	0.78
time (sec)	N/A	0.277	0.205	0.059	1.494	0.437	0.000	0.347	0.000	0.535


Problem 112	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	136	136	98	219	167	189	0	225	-1	102
N.S.	1	1.00	0.72	1.61	1.23	1.39	0.00	1.65	-0.01	0.75
time (sec)	N/A	0.274	0.054	0.059	1.503	0.440	0.000	0.526	0.000	0.535


Problem 113	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	B	A	F	B	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	104	104	94	153	177	207	0	254	-1	108
N.S.	1	1.00	0.90	1.47	1.70	1.99	0.00	2.44	-0.01	1.04
time (sec)	N/A	0.251	0.057	0.055	1.381	0.446	0.000	1.024	0.000	0.452


Problem 114	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	44	48	193	82	0	370	156	90
N.S.	1	1.00	0.72	0.79	3.16	1.34	0.00	6.07	2.56	1.48
time (sec)	N/A	0.173	0.026	0.046	1.555	0.430	0.000	1.889	1.031	0.412


Problem 115	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	96	96	66	70	241	109	0	430	206	114
N.S.	1	1.00	0.69	0.73	2.51	1.14	0.00	4.48	2.15	1.19
time (sec)	N/A	0.233	0.032	0.048	1.532	0.466	0.000	2.863	1.439	0.445


Problem 116	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	133	133	89	94	289	134	0	490	256	138
N.S.	1	1.00	0.67	0.71	2.17	1.01	0.00	3.68	1.92	1.04
time (sec)	N/A	0.279	0.038	0.054	1.580	0.517	0.000	3.235	1.925	0.482


Problem 117	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	170	170	95	118	337	157	0	550	306	162
N.S.	1	1.00	0.56	0.69	1.98	0.92	0.00	3.24	1.80	0.95
time (sec)	N/A	0.321	0.085	0.044	1.624	0.611	0.000	4.405	2.503	0.519


Problem 118	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	207	207	89	142	385	181	0	582	356	186
N.S.	1	1.00	0.43	0.69	1.86	0.87	0.00	2.81	1.72	0.90
time (sec)	N/A	0.352	0.077	0.046	1.650	0.749	0.000	5.435	3.210	0.556


Problem 119	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	168	168	113	115	150	154	0	175	143	111
N.S.	1	1.00	0.67	0.68	0.89	0.92	0.00	1.04	0.85	0.66
time (sec)	N/A	0.297	0.090	0.052	1.553	0.414	0.000	0.340	0.349	0.662


Problem 120	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	131	131	92	91	128	131	0	140	124	87
N.S.	1	1.00	0.70	0.69	0.98	1.00	0.00	1.07	0.95	0.66
time (sec)	N/A	0.241	0.076	0.047	1.527	0.418	0.000	0.211	0.292	0.558


Problem 121	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	96	96	71	67	105	106	0	105	103	63
N.S.	1	1.00	0.74	0.70	1.09	1.10	0.00	1.09	1.07	0.66
time (sec)	N/A	0.070	0.054	0.052	1.557	0.421	0.000	0.168	0.255	0.552


Problem 122	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	48	45	80	80	0	72	83	41
N.S.	1	1.00	0.79	0.74	1.31	1.31	0.00	1.18	1.36	0.67
time (sec)	N/A	0.159	0.035	0.050	1.551	0.418	0.000	0.213	0.229	0.560


Problem 123	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	102	102	109	99	0	206	0	140	-1	95
N.S.	1	1.00	1.07	0.97	0.00	2.02	0.00	1.37	-0.01	0.93
time (sec)	N/A	0.205	0.097	0.048	0.000	0.435	0.000	0.176	0.000	0.681


Problem 124	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	133	133	109	172	0	195	0	115	-1	94
N.S.	1	1.00	0.82	1.29	0.00	1.47	0.00	0.86	-0.01	0.71
time (sec)	N/A	0.220	0.070	0.057	0.000	0.436	0.000	0.276	0.000	0.798


Problem 125	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	135	135	63	213	0	217	0	145	-1	92
N.S.	1	1.00	0.47	1.58	0.00	1.61	0.00	1.07	-0.01	0.68
time (sec)	N/A	0.216	0.040	0.062	0.000	0.449	0.000	0.257	0.000	0.881


Problem 126	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	140	140	121	259	0	250	0	175	-1	112
N.S.	1	1.00	0.86	1.85	0.00	1.79	0.00	1.25	-0.01	0.80
time (sec)	N/A	0.223	0.143	0.075	0.000	0.440	0.000	0.272	0.000	1.042


Problem 127	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	177	177	66	302	0	299	0	214	-1	137
N.S.	1	1.00	0.37	1.71	0.00	1.69	0.00	1.21	-0.01	0.77
time (sec)	N/A	0.281	0.037	0.079	0.000	0.465	0.000	0.325	0.000	1.239


Problem 128	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	214	214	65	344	0	345	0	234	-1	161
N.S.	1	1.00	0.30	1.61	0.00	1.61	0.00	1.09	-0.00	0.75
time (sec)	N/A	0.339	0.036	0.090	0.000	0.510	0.000	0.309	0.000	1.496


Problem 129	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	251	251	66	386	0	393	0	294	-1	185
N.S.	1	1.00	0.26	1.54	0.00	1.57	0.00	1.17	-0.00	0.74
time (sec)	N/A	0.390	0.040	0.151	0.000	0.581	0.000	0.374	0.000	1.838


Problem 130	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	176	176	145	211	231	275	0	149	-1	139
N.S.	1	1.00	0.82	1.20	1.31	1.56	0.00	0.85	-0.01	0.79
time (sec)	N/A	0.328	0.262	0.058	1.379	0.464	0.000	0.223	0.000	0.566


Problem 131	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	139	139	123	169	183	226	0	119	-1	115
N.S.	1	1.00	0.88	1.22	1.32	1.63	0.00	0.86	-0.01	0.83
time (sec)	N/A	0.275	0.182	0.055	1.454	0.446	0.000	0.250	0.000	0.579


Problem 132	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	83	83	97	127	134	177	0	91	-1	91
N.S.	1	1.00	1.17	1.53	1.61	2.13	0.00	1.10	-0.01	1.10
time (sec)	N/A	0.171	0.134	0.054	1.457	0.434	0.000	0.216	0.000	0.468


Problem 133	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	66	66	81	88	88	131	0	67	89	76
N.S.	1	1.00	1.23	1.33	1.33	1.98	0.00	1.02	1.35	1.15
time (sec)	N/A	0.123	0.051	0.065	1.437	0.431	0.000	0.215	0.814	0.384


Problem 134	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	57	57	74	67	56	136	0	66	57	66
N.S.	1	1.00	1.30	1.18	0.98	2.39	0.00	1.16	1.00	1.16
time (sec)	N/A	0.151	0.041	0.058	1.412	0.427	0.000	0.224	0.509	0.324


Problem 135	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	43	47	70	38	0	88	39	44
N.S.	1	1.00	0.70	0.77	1.15	0.62	0.00	1.44	0.64	0.72
time (sec)	N/A	0.168	0.041	0.050	1.469	0.406	0.000	0.201	0.197	0.318


Problem 136	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	96	96	64	70	119	62	0	153	62	66
N.S.	1	1.00	0.67	0.73	1.24	0.65	0.00	1.59	0.65	0.69
time (sec)	N/A	0.209	0.029	0.051	1.489	0.412	0.000	0.209	0.251	0.343


Problem 137	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	133	133	89	94	167	86	0	219	121	90
N.S.	1	1.00	0.67	0.71	1.26	0.65	0.00	1.65	0.91	0.68
time (sec)	N/A	0.253	0.051	0.054	1.488	0.421	0.000	0.308	0.301	0.366


Problem 138	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	170	170	94	118	215	110	0	287	156	114
N.S.	1	1.00	0.55	0.69	1.26	0.65	0.00	1.69	0.92	0.67
time (sec)	N/A	0.303	0.097	0.047	1.542	0.469	0.000	0.268	0.322	0.397


Problem 139	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	131	131	85	89	106	83	0	0	87	87
N.S.	1	1.00	0.65	0.68	0.81	0.63	0.00	0.00	0.66	0.66
time (sec)	N/A	0.240	0.105	0.048	1.530	0.423	0.000	0.000	0.265	0.109


Problem 140	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	94	94	63	65	83	59	0	0	64	63
N.S.	1	1.00	0.67	0.69	0.88	0.63	0.00	0.00	0.68	0.67
time (sec)	N/A	0.193	0.071	0.047	1.540	0.408	0.000	0.000	0.228	0.085


Problem 141	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	59	59	40	42	50	36	0	0	41	40
N.S.	1	1.00	0.68	0.71	0.85	0.61	0.00	0.00	0.69	0.68
time (sec)	N/A	0.135	0.052	0.049	1.458	0.409	0.000	0.000	0.187	0.070


Problem 142	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	55	55	73	72	0	138	0	60	-1	55
N.S.	1	1.00	1.33	1.31	0.00	2.51	0.00	1.09	-0.02	1.00
time (sec)	N/A	0.020	0.039	0.056	0.000	0.433	0.000	0.326	0.000	0.108


Problem 143	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	68	68	87	105	0	152	0	0	-1	67
N.S.	1	1.00	1.28	1.54	0.00	2.24	0.00	0.00	-0.01	0.99
time (sec)	N/A	0.117	0.089	0.055	0.000	0.441	0.000	0.000	0.000	0.165


Problem 144	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	103	103	104	146	0	199	0	0	-1	89
N.S.	1	1.00	1.01	1.42	0.00	1.93	0.00	0.00	-0.01	0.86
time (sec)	N/A	0.165	0.223	0.056	0.000	0.437	0.000	0.000	0.000	0.218


Problem 145	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	184	184	136	166	237	340	0	176	-1	148
N.S.	1	1.00	0.74	0.90	1.29	1.85	0.00	0.96	-0.01	0.80
time (sec)	N/A	0.333	0.258	0.057	1.488	0.444	0.000	0.311	0.000	0.674


Problem 146	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	147	147	113	140	187	289	0	147	-1	122
N.S.	1	1.00	0.77	0.95	1.27	1.97	0.00	1.00	-0.01	0.83
time (sec)	N/A	0.280	0.209	0.061	1.545	0.438	0.000	0.280	0.000	0.582


Problem 147	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	112	112	91	115	138	230	0	116	-1	102
N.S.	1	1.00	0.81	1.03	1.23	2.05	0.00	1.04	-0.01	0.91
time (sec)	N/A	0.242	0.165	0.058	1.514	0.426	0.000	0.263	0.000	0.536


Problem 148	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F(-2)	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	67	67	75	75	79	188	0	0	78	85
N.S.	1	1.00	1.12	1.12	1.18	2.81	0.00	0.00	1.16	1.27
time (sec)	N/A	0.177	0.106	0.053	1.481	0.429	0.000	0.000	0.633	0.463


Problem 149	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	37	37	37	47	65	49	0	36	53	49
N.S.	1	1.00	1.00	1.27	1.76	1.32	0.00	0.97	1.43	1.32
time (sec)	N/A	0.121	0.020	0.050	1.489	0.411	0.000	0.211	0.181	0.389


Problem 150	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	66	66	64	66	112	72	0	0	70	75
N.S.	1	1.00	0.97	1.00	1.70	1.09	0.00	0.00	1.06	1.14
time (sec)	N/A	0.164	0.043	0.048	1.385	0.419	0.000	0.000	0.274	0.393


Problem 151	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	101	101	85	94	160	98	0	0	95	99
N.S.	1	1.00	0.84	0.93	1.58	0.97	0.00	0.00	0.94	0.98
time (sec)	N/A	0.220	0.037	0.049	1.501	0.421	0.000	0.000	0.424	0.423


Problem 152	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	138	138	75	118	208	121	0	0	173	123
N.S.	1	1.00	0.54	0.86	1.51	0.88	0.00	0.00	1.25	0.89
time (sec)	N/A	0.267	0.054	0.050	1.478	0.427	0.000	0.000	0.559	0.506


Problem 153	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	139	139	82	91	82	93	0	0	92	96
N.S.	1	1.00	0.59	0.65	0.59	0.67	0.00	0.00	0.66	0.69
time (sec)	N/A	0.248	0.076	0.051	1.576	0.416	0.000	0.000	0.397	1.032


Problem 154	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	104	104	60	66	59	68	0	0	67	71
N.S.	1	1.00	0.58	0.63	0.57	0.65	0.00	0.00	0.64	0.68
time (sec)	N/A	0.200	0.041	0.052	1.559	0.396	0.000	0.000	0.280	0.851


Problem 155	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	69	69	35	44	39	45	0	60	44	46
N.S.	1	1.00	0.51	0.64	0.57	0.65	0.00	0.87	0.64	0.67
time (sec)	N/A	0.150	0.027	0.050	1.569	0.407	0.000	0.292	0.210	0.727


Problem 156	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	64	64	73	79	0	199	0	0	-1	74
N.S.	1	1.00	1.14	1.23	0.00	3.11	0.00	0.00	-0.02	1.16
time (sec)	N/A	0.139	0.035	0.057	0.000	0.428	0.000	0.000	0.000	0.805


Problem 157	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	142	142	61	129	0	260	0	0	-1	95
N.S.	1	1.00	0.43	0.91	0.00	1.83	0.00	0.00	-0.01	0.67
time (sec)	N/A	0.089	0.027	0.060	0.000	0.442	0.000	0.000	0.000	0.876


Problem 158	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	137	137	64	157	0	315	0	0	89	120
N.S.	1	1.00	0.47	1.15	0.00	2.30	0.00	0.00	0.65	0.88
time (sec)	N/A	0.192	0.048	0.056	0.000	0.450	0.000	0.000	1.263	1.100


Problem 159	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	39	39	33	32	27	32	46	29	31	41
N.S.	1	1.00	0.85	0.82	0.69	0.82	1.18	0.74	0.79	1.05
time (sec)	N/A	0.023	0.018	0.046	1.344	0.413	20.137	0.147	0.056	0.034


Problem 160	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	39	39	33	32	27	32	46	29	31	41
N.S.	1	1.00	0.85	0.82	0.69	0.82	1.18	0.74	0.79	1.05
time (sec)	N/A	0.023	0.018	0.059	1.354	0.395	11.253	0.148	0.106	0.032


Problem 161	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	39	39	33	32	27	32	46	29	31	41
N.S.	1	1.00	0.85	0.82	0.69	0.82	1.18	0.74	0.79	1.05
time (sec)	N/A	0.023	0.017	0.049	1.330	0.397	5.592	0.151	0.044	0.031


Problem 162	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	39	39	33	32	27	32	37	29	31	41
N.S.	1	1.00	0.85	0.82	0.69	0.82	0.95	0.74	0.79	1.05
time (sec)	N/A	0.021	0.017	0.046	1.307	0.390	2.340	0.161	0.042	0.029


Problem 163	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	39	39	33	32	27	32	46	29	31	41
N.S.	1	1.00	0.85	0.82	0.69	0.82	1.18	0.74	0.79	1.05
time (sec)	N/A	0.021	0.017	0.050	1.366	0.387	2.060	0.209	0.044	0.026


Problem 164	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	39	39	33	32	27	30	46	29	31	41
N.S.	1	1.00	0.85	0.82	0.69	0.77	1.18	0.74	0.79	1.05
time (sec)	N/A	0.021	0.016	0.050	1.383	0.378	2.263	0.162	0.043	0.032


Problem 165	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	37	37	33	32	27	29	44	29	31	41
N.S.	1	1.00	0.89	0.86	0.73	0.78	1.19	0.78	0.84	1.11
time (sec)	N/A	0.021	0.016	0.049	1.337	0.388	2.624	0.183	0.042	0.028


Problem 166	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	37	37	35	32	27	29	44	29	31	35
N.S.	1	1.00	0.95	0.86	0.73	0.78	1.19	0.78	0.84	0.95
time (sec)	N/A	0.021	0.017	0.045	1.328	0.379	3.918	0.187	0.103	0.035


Problem 167	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	63	56	51	56	80	53	51	69
N.S.	1	1.00	1.00	0.89	0.81	0.89	1.27	0.84	0.81	1.10
time (sec)	N/A	0.041	0.036	0.048	1.297	0.396	57.866	0.164	0.130	0.050


Problem 168	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	53	56	51	56	80	53	51	69
N.S.	1	1.00	0.84	0.89	0.81	0.89	1.27	0.84	0.81	1.10
time (sec)	N/A	0.039	0.034	0.046	1.336	0.402	39.816	0.152	0.050	0.048


Problem 169	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	63	56	51	56	80	53	51	69
N.S.	1	1.00	1.00	0.89	0.81	0.89	1.27	0.84	0.81	1.10
time (sec)	N/A	0.038	0.031	0.049	1.300	0.399	20.946	0.172	0.048	0.044


Problem 170	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	53	56	51	56	66	53	51	69
N.S.	1	1.00	0.84	0.89	0.81	0.89	1.05	0.84	0.81	1.10
time (sec)	N/A	0.038	0.032	0.049	1.383	0.402	3.729	0.178	0.049	0.048


Problem 171	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	53	56	51	56	80	53	51	69
N.S.	1	1.00	0.84	0.89	0.81	0.89	1.27	0.84	0.81	1.10
time (sec)	N/A	0.039	0.032	0.050	1.350	0.390	9.942	0.155	0.048	0.044


Problem 172	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	63	56	51	56	80	53	51	69
N.S.	1	1.00	1.00	0.89	0.81	0.89	1.27	0.84	0.81	1.10
time (sec)	N/A	0.039	0.031	0.055	1.364	0.395	10.479	0.208	0.048	0.043


Problem 173	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	53	56	51	56	80	53	51	69
N.S.	1	1.00	0.84	0.89	0.81	0.89	1.27	0.84	0.81	1.10
time (sec)	N/A	0.038	0.032	0.057	1.366	0.395	12.055	0.151	0.049	0.048


Problem 174	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	53	56	51	54	80	53	51	69
N.S.	1	1.00	0.84	0.89	0.81	0.86	1.27	0.84	0.81	1.10
time (sec)	N/A	0.038	0.034	0.054	1.332	0.395	15.463	0.173	0.051	0.045


Problem 175	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	80	73	78	114	77	69	97
N.S.	1	1.00	1.00	0.94	0.86	0.92	1.34	0.91	0.81	1.14
time (sec)	N/A	0.052	0.052	0.050	1.325	0.395	134.768	0.155	0.102	0.060


Problem 176	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	80	73	78	114	77	69	97
N.S.	1	1.00	1.00	0.94	0.86	0.92	1.34	0.91	0.81	1.14
time (sec)	N/A	0.050	0.050	0.049	1.361	0.395	92.322	0.170	0.033	0.060


Problem 177	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	80	73	78	114	77	69	97
N.S.	1	1.00	1.00	0.94	0.86	0.92	1.34	0.91	0.81	1.14
time (sec)	N/A	0.050	0.046	0.049	1.377	0.403	54.010	0.153	0.035	0.060


Problem 178	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	80	73	78	95	77	69	97
N.S.	1	1.00	1.00	0.94	0.86	0.92	1.12	0.91	0.81	1.14
time (sec)	N/A	0.050	0.043	0.052	1.334	0.390	5.510	0.171	0.033	0.057


Problem 179	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	80	73	78	114	77	69	97
N.S.	1	1.00	1.00	0.94	0.86	0.92	1.34	0.91	0.81	1.14
time (sec)	N/A	0.052	0.043	0.051	1.360	0.403	29.884	0.151	0.033	0.058


Problem 180	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	80	73	78	114	77	69	97
N.S.	1	1.00	1.00	0.94	0.86	0.92	1.34	0.91	0.81	1.14
time (sec)	N/A	0.050	0.043	0.052	1.321	0.401	31.769	0.156	0.033	0.059


Problem 181	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	80	73	78	114	77	69	97
N.S.	1	1.00	1.00	0.94	0.86	0.92	1.34	0.91	0.81	1.14
time (sec)	N/A	0.052	0.040	0.053	1.403	0.398	35.910	0.163	0.036	0.057


Problem 182	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	80	73	78	114	77	69	97
N.S.	1	1.00	1.00	0.94	0.86	0.92	1.34	0.91	0.81	1.14
time (sec)	N/A	0.051	0.051	0.047	1.338	0.405	53.837	0.154	0.033	0.057


Problem 183	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	278	278	133	336	237	920	0	298	115	180
N.S.	1	1.00	0.48	1.21	0.85	3.31	0.00	1.07	0.41	0.65
time (sec)	N/A	0.274	0.259	0.079	3.070	0.453	0.000	0.244	0.227	0.242


Problem 184	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	276	276	227	330	259	714	0	298	788	181
N.S.	1	1.00	0.82	1.20	0.94	2.59	0.00	1.08	2.86	0.66
time (sec)	N/A	0.247	0.309	0.052	3.010	0.432	0.000	0.200	0.252	0.297


Problem 185	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	257	257	110	308	214	899	0	264	92	160
N.S.	1	1.00	0.43	1.20	0.83	3.50	0.00	1.03	0.36	0.62
time (sec)	N/A	0.218	0.146	0.050	3.134	0.452	0.000	0.209	0.236	0.213


Problem 186	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	255	255	208	299	235	660	393	263	789	165
N.S.	1	1.00	0.82	1.17	0.92	2.59	1.54	1.03	3.09	0.65
time (sec)	N/A	0.209	0.224	0.062	2.990	0.429	164.461	0.196	0.275	0.217


Problem 187	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	237	237	95	280	194	834	459	251	71	135
N.S.	1	1.00	0.40	1.18	0.82	3.52	1.94	1.06	0.30	0.57
time (sec)	N/A	0.188	0.080	0.053	3.019	0.463	65.599	0.227	0.153	0.206


Problem 188	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	235	235	166	277	218	645	355	251	739	134
N.S.	1	1.00	0.71	1.18	0.93	2.74	1.51	1.07	3.14	0.57
time (sec)	N/A	0.184	0.146	0.056	3.159	0.440	27.828	0.183	0.292	0.204


Problem 189	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	235	235	74	277	194	843	456	251	71	135
N.S.	1	1.00	0.31	1.18	0.83	3.59	1.94	1.07	0.30	0.57
time (sec)	N/A	0.189	0.097	0.062	3.011	0.454	18.455	0.194	0.222	0.201


Problem 190	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	237	237	168	280	218	653	364	251	811	136
N.S.	1	1.00	0.71	1.18	0.92	2.76	1.54	1.06	3.42	0.57
time (sec)	N/A	0.188	0.154	0.060	3.067	0.440	27.101	0.228	0.301	0.215


Problem 191	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	255	255	46	299	213	883	366	268	90	160
N.S.	1	1.00	0.18	1.17	0.84	3.46	1.44	1.05	0.35	0.63
time (sec)	N/A	0.215	0.022	0.061	3.080	0.440	108.599	0.241	0.226	0.226


Problem 192	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	257	257	47	308	247	707	405	257	555	162
N.S.	1	1.00	0.18	1.20	0.96	2.75	1.58	1.00	2.16	0.63
time (sec)	N/A	0.214	0.020	0.060	2.930	0.431	109.298	0.187	0.320	0.227


Problem 193	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	276	276	47	330	237	931	0	291	107	185
N.S.	1	1.00	0.17	1.20	0.86	3.37	0.00	1.05	0.39	0.67
time (sec)	N/A	0.245	0.017	0.059	3.105	0.448	0.000	0.199	0.234	0.246


Problem 194	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	278	278	47	336	276	734	0	291	563	184
N.S.	1	1.00	0.17	1.21	0.99	2.64	0.00	1.05	2.03	0.66
time (sec)	N/A	0.241	0.019	0.059	3.117	0.439	0.000	0.195	0.351	0.245


Problem 195	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	332	332	417	372	298	804	0	335	857	443
N.S.	1	1.00	1.26	1.12	0.90	2.42	0.00	1.01	2.58	1.33
time (sec)	N/A	0.277	0.674	0.065	3.071	0.460	0.000	0.220	0.219	0.852


Problem 196	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	310	310	154	348	247	989	0	299	127	362
N.S.	1	1.00	0.50	1.12	0.80	3.19	0.00	0.96	0.41	1.17
time (sec)	N/A	0.245	0.297	0.063	3.109	0.449	0.000	0.270	0.171	0.748


Problem 197	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	310	310	385	339	271	748	0	298	823	208
N.S.	1	1.00	1.24	1.09	0.87	2.41	0.00	0.96	2.65	0.67
time (sec)	N/A	0.253	0.548	0.068	3.027	0.452	0.000	0.192	0.259	0.679


Problem 198	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	289	289	136	317	223	925	0	283	106	167
N.S.	1	1.00	0.47	1.10	0.77	3.20	0.00	0.98	0.37	0.58
time (sec)	N/A	0.229	0.265	0.065	3.312	0.452	0.000	0.209	0.247	0.721


Problem 199	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	289	289	354	323	250	725	0	283	744	167
N.S.	1	1.00	1.22	1.12	0.87	2.51	0.00	0.98	2.57	0.58
time (sec)	N/A	0.234	0.528	0.064	3.108	0.451	0.000	0.195	0.212	0.712


Problem 200	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	261	261	95	305	217	912	0	273	91	160
N.S.	1	1.00	0.36	1.17	0.83	3.49	0.00	1.05	0.35	0.61
time (sec)	N/A	0.200	0.182	0.062	3.110	0.451	0.000	0.209	0.229	0.682


Problem 201	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	261	261	203	305	241	717	0	273	750	160
N.S.	1	1.00	0.78	1.17	0.92	2.75	0.00	1.05	2.87	0.61
time (sec)	N/A	0.200	0.366	0.056	3.110	0.444	0.000	0.207	0.331	0.629


Problem 202	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	284	284	117	323	222	920	0	278	104	167
N.S.	1	1.00	0.41	1.14	0.78	3.24	0.00	0.98	0.37	0.59
time (sec)	N/A	0.230	0.316	0.060	3.036	0.461	0.000	0.205	0.232	0.673


Problem 203	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	289	289	355	317	251	741	0	283	859	170
N.S.	1	1.00	1.23	1.10	0.87	2.56	0.00	0.98	2.97	0.59
time (sec)	N/A	0.225	0.582	0.058	3.111	0.448	0.000	0.195	0.372	0.674


Problem 204	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	310	310	151	339	250	974	0	303	121	200
N.S.	1	1.00	0.49	1.09	0.81	3.14	0.00	0.98	0.39	0.65
time (sec)	N/A	0.271	0.637	0.063	3.026	0.457	0.000	0.209	0.246	0.680


Problem 205	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	310	310	385	348	286	795	0	292	595	200
N.S.	1	1.00	1.24	1.12	0.92	2.56	0.00	0.94	1.92	0.65
time (sec)	N/A	0.255	0.733	0.065	3.125	0.453	0.000	0.246	0.399	0.698


Problem 206	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	332	332	176	372	276	1024	0	328	142	224
N.S.	1	1.00	0.53	1.12	0.83	3.08	0.00	0.99	0.43	0.67
time (sec)	N/A	0.286	0.593	0.070	3.014	0.475	0.000	0.211	0.200	0.727


Problem 207	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	343	343	435	381	306	817	0	321	865	282
N.S.	1	1.00	1.27	1.11	0.89	2.38	0.00	0.94	2.52	0.82
time (sec)	N/A	0.278	0.628	0.076	3.080	0.449	0.000	0.234	0.249	0.895


Problem 208	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	322	322	176	357	256	993	0	304	138	257
N.S.	1	1.00	0.55	1.11	0.80	3.08	0.00	0.94	0.43	0.80
time (sec)	N/A	0.247	0.469	0.067	3.095	0.465	0.000	0.232	0.261	1.026


Problem 209	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	322	322	403	363	283	793	0	304	760	257
N.S.	1	1.00	1.25	1.13	0.88	2.46	0.00	0.94	2.36	0.80
time (sec)	N/A	0.254	0.627	0.072	3.060	0.445	0.000	0.202	0.228	0.735


Problem 210	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	293	293	137	325	251	990	0	293	122	249
N.S.	1	1.00	0.47	1.11	0.86	3.38	0.00	1.00	0.42	0.85
time (sec)	N/A	0.223	0.319	0.065	3.109	0.460	0.000	0.231	0.174	0.662


Problem 211	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	298	298	389	334	280	806	0	298	799	191
N.S.	1	1.00	1.31	1.12	0.94	2.70	0.00	1.00	2.68	0.64
time (sec)	N/A	0.236	0.707	0.065	2.965	0.445	0.000	0.194	0.383	0.941


Problem 212	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	298	298	62	335	253	1005	0	298	124	182
N.S.	1	1.00	0.21	1.12	0.85	3.37	0.00	1.00	0.42	0.61
time (sec)	N/A	0.229	0.087	0.070	3.014	0.457	0.000	0.233	0.165	1.025


Problem 213	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	293	293	230	325	276	793	0	293	780	181
N.S.	1	1.00	0.78	1.11	0.94	2.71	0.00	1.00	2.66	0.62
time (sec)	N/A	0.231	0.378	0.064	3.054	0.444	0.000	0.195	0.392	0.826


Problem 214	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	316	316	147	363	255	988	0	300	133	190
N.S.	1	1.00	0.47	1.15	0.81	3.13	0.00	0.95	0.42	0.60
time (sec)	N/A	0.256	0.294	0.069	3.074	0.469	0.000	0.212	0.261	0.794


Problem 215	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	322	322	400	357	285	809	0	304	888	192
N.S.	1	1.00	1.24	1.11	0.89	2.51	0.00	0.94	2.76	0.60
time (sec)	N/A	0.251	0.496	0.068	3.089	0.460	0.000	0.205	0.446	0.643


Problem 216	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	343	343	189	381	285	1043	0	326	152	224
N.S.	1	1.00	0.55	1.11	0.83	3.04	0.00	0.95	0.44	0.65
time (sec)	N/A	0.275	0.517	0.070	3.038	0.465	0.000	0.221	0.194	0.663


Problem 217	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	343	343	433	390	321	864	0	315	626	224
N.S.	1	1.00	1.26	1.14	0.94	2.52	0.00	0.92	1.83	0.65
time (sec)	N/A	0.278	0.571	0.068	3.145	0.463	0.000	0.219	0.449	0.735


Problem 218	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	365	365	216	414	311	1093	0	351	173	248
N.S.	1	1.00	0.59	1.13	0.85	2.99	0.00	0.96	0.47	0.68
time (sec)	N/A	0.320	0.552	0.074	3.083	0.456	0.000	0.260	0.289	0.705


Problem 219	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	365	365	467	420	353	894	0	351	639	248
N.S.	1	1.00	1.28	1.15	0.97	2.45	0.00	0.96	1.75	0.68
time (sec)	N/A	0.321	0.628	0.072	3.097	0.445	0.000	0.281	0.507	0.692


Problem 220	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	A	B	A	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	96	96	89	474	129	381	2077	603	291	0
N.S.	1	1.00	0.93	4.94	1.34	3.97	21.64	6.28	3.03	0.00
time (sec)	N/A	0.070	0.142	0.052	1.366	0.411	9.055	0.215	0.477	0.621


Problem 221	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	A	B	A	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	71	71	66	262	91	217	1051	340	179	0
N.S.	1	1.00	0.93	3.69	1.28	3.06	14.80	4.79	2.52	0.00
time (sec)	N/A	0.052	0.071	0.052	1.371	0.410	4.422	0.189	0.340	0.233


Problem 222	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	A	B	A	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	45	45	42	110	53	94	415	149	97	0
N.S.	1	1.00	0.93	2.44	1.18	2.09	9.22	3.31	2.16	0.00
time (sec)	N/A	0.030	0.054	0.049	1.300	0.419	1.621	0.163	0.247	0.053


Problem 223	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	A	A	F(-1)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	95	95	63	0	112	140	0	0	-1	0
N.S.	1	1.00	0.66	0.00	1.18	1.47	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.156	0.075	0.799	2.042	0.433	0.000	0.000	0.000	0.181


Problem 224	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	19	19	19	16	15	15	17	17	13	0
N.S.	1	1.00	1.00	0.84	0.79	0.79	0.89	0.89	0.68	0.00
time (sec)	N/A	0.026	0.006	0.046	2.909	0.388	0.113	0.155	0.171	0.000


Problem 225	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	B	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	36	35	11	10	16	11	0
N.S.	1	1.00	1.00	2.40	2.33	0.73	0.67	1.07	0.73	0.00
time (sec)	N/A	0.022	0.006	0.050	3.010	0.390	0.121	0.152	0.153	0.000


Problem 226	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	17	17	17	14	13	13	14	16	13	0
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.82	0.94	0.76	0.00
time (sec)	N/A	0.025	0.006	0.048	2.939	0.392	0.146	0.191	0.139	0.000


Problem 227	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	16	15	14	18	10	16	14	0
N.S.	1	1.00	1.00	0.94	0.88	1.12	0.62	1.00	0.88	0.00
time (sec)	N/A	0.014	0.004	0.053	1.623	0.389	0.102	0.183	0.129	0.000


Problem 228	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	F	B	B	F(-1)	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	18	18	116	0	37	43	0	48	-1	0
N.S.	1	1.00	6.44	0.00	2.06	2.39	0.00	2.67	-0.06	0.00
time (sec)	N/A	0.038	0.221	1.104	2.150	0.430	0.000	0.369	0.000	0.363

[next] [prev] [prev-tail] [front] [up]